// buffer_write_string(val)
// Writes a string to the buffer, ends with null character.

buffer_write(buffer, buffer_string, argument0)
